-- $LastChangedDate: 2007-06-01 02:52:33 +0200 (Fri, 01 Jun 2007) $
-- $LastChangedRevision: 149 $
-- $LastChangedBy: vicente $

SEPARATE (Tareas.Gmonitores)

   -- indica a todos los monitores del gestor que acaben
PROCEDURE End_Monitors (
      Mlist : IN     Listas.Gmonitores_Lists.List_Type) IS
   It   : Listas.Gmonitores_Lists.List_Iterator;
   Nodo : Nodomonitor;
BEGIN
   It := Listas.Gmonitores_Lists.First(Mlist);
   WHILE It /= Listas.Gmonitores_Lists.Last(Mlist) LOOP
      Nodo := Listas.Gmonitores_Lists.Value(It);
      -- indicar al monitor que acabe
      Nodo.Mptr.Acabar;
      -- siguiente
      It := Listas.Gmonitores_Lists.Succ(It);
   END LOOP;
END End_Monitors;
